Ultrametric spaces and logic programming
نویسندگان
چکیده
منابع مشابه
Ultrametric Spaces in Continuous Logic
We investigate the continuous model theory of ultrametric spaces of diameter ≤ 1. There is no universal Polish ultrametric space of diameter 1; but there is a Polish ultrametric space, Umax, taking distances in Q∩[0, 1], which is universal for all such Polish ultrametric spaces. We show that in the continuous theory of Umax, nonforking is characterized by a stable independence relation, which i...
متن کاملScott Domains Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs
Every Scott domain can be viewed as a generalized ultrametric space with proper ties which allow to apply a generalization of the Banach contraction mapping theorem We will give this construction in detail and apply it to a class of programs which is stricly larger than the class of all acyclic programs The paper is taken from Hit Chapter Domains as Generalized Ultrametric Spaces We rst introdu...
متن کاملFormalizing Domains, Ultrametric Spaces and Semantics of Programming Languages
We describe a Coq formalization of constructive ω-cpos, ultrametric spaces and ultrametric-enriched categories, up to and including the inverse-limit construction of solutions to mixed-variance recursive equations in both categories enriched over ω-cppos and categories enriched over ultrametric spaces. We show how these mathematical structures may be used in formalizing semantics for three repr...
متن کاملIndivisible Ultrametric Spaces
Ametric space is indivisible if for any partition of it into finitely many pieces one piece contains an isometric copy of the whole space. Continuing our investigation of indivisible metric spaces [1], we show that a countable ultrametric space embeds isometrically into an indivisible ultrametric metric space if and only if it does not contain a strictly increasing sequence of balls.
متن کاملRamsey Degrees of Finite Ultrametric Spaces, Ultrametric Urysohn Spaces and Dynamics of Their Isometry Groups
We study Ramsey-theoretic properties of several natural classes of finite ultrametric spaces, describe the corresponding Urysohn spaces and compute a dynamical invariant attached to their isometry groups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 2000
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(99)00002-3